Verification of Forbidden Behavior in EPCs
نویسندگان
چکیده
Event-driven process chains (EPCs) are frequently used as a modeling language for the representation of business processes. As such, business analysts are familiar with using EPC models in the context of business process management. Up to now, there is no verification technique available that allows business analysts to express forbidden behavior in an intuitive manner. In this paper, we discuss the specification of such forbidden behavior with the aid of EPCs and demonstrate the verification of this behavior against models of the desired behavior, also formulated as EPC diagrams. For this purpose, a novel approach to join EPC models and to interpret the result is discussed. It is based on a transformation of both EPC models to Module nets, a specific kind of Petri nets, and the application of verification methods already defined for this net class. The findings are illustrated with a running example that picks up an EPC process model from the SAP reference model.
منابع مشابه
Verifying Properties of (Timed) Event Driven Process Chains by Transformation to Hybrid Automata
Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand notation, specifying entire information systems leads to rather large and complex models. Questions like for instance the termination of a process (within some given time)—easy to answer for small EPCs—can hardly be answered for ...
متن کاملA Quantitative Analysis of Faulty EPCs in the SAP Reference Model
The SAP reference model contains more than 600 non-trivial process models expressed in terms of Event-driven Process Chains (EPCs). We have automatically translated these EPCs into YAWL models and analyzed these models using WofYAWL, a verification tool based on Petri nets. We discovered that at least 34 of these EPCs contain errors (i.e., at least 5.6% is flawed). We analyzed which parts of th...
متن کاملDetection and Prediction of Errors in EPC Business Process Models
Business process modeling plays an important role in the management of business processes. As valuable design artifacts, business process models are subject to quality considerations. In this context, the absence of formal errors, such as deadlocks, is of paramount importance for the subsequent implementation of the process. This doctoral thesis provides a fourfold contribution to the understan...
متن کاملThe effect of cells' radius on optical filter output spectrum based on photonic crystals
In this article, the effect of cells' radius on the behavior of wavelength switching optical filter andthe effect of the radius of the optical filters' key characteristics such as wavelength resonance onan optical filter based on photonic crystals, have been investigated. Currently, the most commonapplied mechanism for designing optical filter based on photonic crystals is using twomechanisms s...
متن کاملVerification of EPCs: Using Reduction Rules and Petri Nets
Designing business models is a complicated and error prone task. On the one hand, business models need to be intuitive and easy to understand. On the other hand, ambiguities may lead to different interpretations and false consensus. Moreover, to configure process-aware information systems (e.g., a workflow system), the business model needs to be transformed into an executable model. Event-drive...
متن کامل